5

A theoretical limit for safety verification techniques with regular fix-point computations

Année:
2008
Langue:
english
Fichier:
PDF, 107 KB
english, 2008
19

Towards more precise rewriting approximations

Année:
2017
Langue:
english
Fichier:
PDF, 1.17 MB
english, 2017